/*
 * Utils.h
 *
 *  Created on: 21/01/2014
 *      Author: root
 */

#ifndef UTILS_H_
#define UTILS_H_

#include <pthread.h>

int readDppmSpec(char* filePath, int &numAct, int &T, int* &numPreds, int** &Preds, int* &numModes, int** &ModesCosts, int** &ModesTimes);
pthread_t createThread(int (*start_routine) ());

void debugPrinter(int identacion, int rank, const char * archivo, int linea, const char * desc);

#endif /* UTILS_H_ */
